Assumptions: filtered colimits, self-dual
Conclusions: cofiltered limits
Proof: This holds by self-duality.